/// Styles a dot that indicates that user attention is required
.notification-dot {
  width: 0;
  height: 0;
  display: block;
  margin: auto;
  border-style: solid;
  border-width: 4px;
  border-color: set-color(red, maroonflush);
  border-radius: 50%;

  /// Adapts the notification-dot for a tab header
  &--on-tab {
    position: absolute;
    top: 0;
    bottom: 26px;
    right: 5px;
  }
}
